more on this theme     |     more from this thinker     |     more from this text

Single Idea 13422

[filed under theme 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL ]

Full Idea

'Conjunctive Normal Form' (CNF) is rearranging the occurrences of ∧ and ∨ so that no disjunction sign has any conjunction in its scope. This is achieved by applying two of the distribution laws.

Gist of Idea

'Conjunctive Normal Form' is ensuring that no disjunction has a conjunction within its scope

Source

David Bostock (Intermediate Logic [1997], 2.6)

Book Ref

Bostock,David: 'Intermediate Logic' [OUP 1997], p.39